menu item: Use GdkEvent API

diff --git a/gtk/gtkmenuitem.c b/gtk/gtkmenuitem.c
index 9deb8b4f2fffd382dbd9202c09a0c1ec9a8de223..efddab514e8bd8c06fb6f45b924d7d751dd8e20b 100644 (file)
--- a/gtk/gtkmenuitem.c
+++ b/gtk/gtkmenuitem.c
@@ -1129,10 +1129,13 @@ gtk_menu_item_enter (GtkWidget        *widget,
                      GdkEventCrossing *event)
 {
   GtkWidget *menu_shell;
+  GdkCrossingMode mode;
 
-  if (event->mode == GDK_CROSSING_GTK_GRAB ||
-      event->mode == GDK_CROSSING_GTK_UNGRAB ||
-      event->mode == GDK_CROSSING_STATE_CHANGED)
+  gdk_event_get_crossing_mode ((GdkEvent *)event, &mode);
+
+  if (mode == GDK_CROSSING_GTK_GRAB ||
+      mode == GDK_CROSSING_GTK_UNGRAB ||
+      mode == GDK_CROSSING_STATE_CHANGED)
     return GDK_EVENT_STOP;
 
   if (gdk_event_get_device ((GdkEvent*) event) ==